UseLessRules 9,38
Rules which are unnecessary.  They remain in case we change
our minds concerning their necessity.

NIL

origin